Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
961	Satisfiability Modulo Recursive Programs Philippe Suter⋆ , Ali Sinan K¨oksal, and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland {firstname.lastname}@epfl.ch Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-06-13 20:10:28 Computability theory Formal methods Model theory Theory of computation Logic in computer science Satisfiability Modulo Theories Decision problem Function Satisfiability Theoretical computer science Mathematics Mathematical logic
962	Cognitive Psychology 38, 349–Article ID cogp, available online at http://www.idealibrary.com on Discrepancies Between Normative and Descriptive Models of Decision Making and the Understanding/ Acce Add to Reading List Source URL: www.keithstanovich.com Language: English - Date: 2012-05-21 17:07:34 Cognitive science Educational psychology Autonomy Philosophical logic Philosophy of mind Rationality Analogy Need for cognition Norm Ethology Mind Behavior
963	Parameterized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder Vienna University of Technology (TU Wien) Abstract—We introduce an Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-18 10:27:55 Abstraction Data management FO Model checking Abstract interpretation Function Interpretation Mathematics Mathematical logic Theoretical computer science
964	Synthesis for Regular Specifications over Unbounded Domains Jad Hamza∗, Barbara Jobstmann†, Viktor Kuncak‡ ∗ ENS Cachan, France † CNRS/Verimag, France, ‡ EPFL, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-08-02 10:05:45 Mathematics Formal methods Nondeterministic finite automaton Linear temporal logic Finite-state machine Function Symbol Büchi automaton Automata theory Models of computation Theoretical computer science
965	MUNCH - Automated Reasoner for Sets and Multisets Ruzica Piskac and Viktor Kuncak Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Metalogic Model theory Multiset NP-complete problems Presburger arithmetic Satisfiability Modulo Theories Cardinality Generalized arithmetic progression Mathematics Mathematical logic Theoretical computer science
966	Gregory Wheeler Research Profile AOS: Epistemology (formal, traditional, social, computational); Logic & Philosophy of Science; Decision Theory, Game Theory, Foundations of Probability AOC: Philosophy of Cognitive Scienc Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2015-06-06 05:34:26 Knowledge Non-classical logic Paraconsistent logic Formal epistemology Statistical inference Gregory Wheeler Probabilistic logic Philosophical logic Lottery paradox Logic Science Epistemology
967	grantcraft PRACTICAL WISDOM FOR GRANTMAKERS Mapping Change Using a Theory of Change to Guide Planning Add to Reading List Source URL: portals.wi.wur.nl Language: English - Date: 2007-07-18 09:05:55 Philosophy of science Ethology Impact assessment Logic model Theory Impact evaluation Economic model Evaluation methods Evaluation Science
968	Inductive Mercury Programming Barnaby Fisher and James Cussens Dept of Computer Science, University of York, Heslington, York, YO10 5DD, UK {barney\|jc}@cs.york.ac.uk Abstract. We investigate using the Mercury language t Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2007-02-21 05:49:09 Prolog Logic programming Query languages Inductive logic programming Predicate Clause Mercury PROGOL SQL Computing Software engineering Computer programming
969	European Bioinformatics Institute is an Outstation of the European Molecular Laboratory Towards Automatic classification within the ChEBI ontology Janna Hastings, Paula de Matos, Marcus Ennis and Christoph Steinbeck Add to Reading List Source URL: precedings.nature.com Language: English Information science Knowledge Biological databases Semantic Web Bioinformatics ChEBI Gene Ontology Description logic European Bioinformatics Institute Science Ontology Information
970	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:12 Models of computation Type theory Data types Programming language implementation Logic in computer science Denotational semantics Partial evaluation Programming language Subtype polymorphism Software engineering Computing Programming language theory

UPDATE